Section: New Results

Tools for numerically guaranteed computations

Participant : Sylvain Chevillard.

The overall and long-term goal is to enhance the quality of numerical computations. The software tool Sollya (see Section 3.4.5), developed together with C. Lauter (Université Pierre et Marie Curie) intends to provide an interactive environment for performing numerically rigorous computations. It comes as a standalone tool and also as a C library that allows one to benefit from all the features of the tool in C programs.

In September 2018, we released version 7.0. Among other things, this release fixes some bugs and improves the way base functions are internally handled. Another important novelty of 2018 is that Sollya now comes with the companion pythonsollya (https://gitlab.com/metalibm-dev/pythonsollya/) proposed by third-party developers to provide all the features of Sollya within Python. Some of the novelties in the API of the library version of Sollya 7.0, were made to ease the development of pythonsollya .